Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
861	The Abella Interactive Theorem Prover (System Description) arXiv:0803.2305v2 [cs.LO] 23 May[removed]Andrew Gacek Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-05-23 11:30:13 Predicate logic Logic in computer science Theoretical computer science Type theory Formal methods ΛProlog Unification Logic programming Lambda calculus Mathematical logic Logic Mathematics
862	AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:44 Logic in computer science Automated theorem proving Logic programming Model theory Predicate logic ΛProlog First-order logic Prolog Interpretation Logic Mathematical logic Mathematics
863	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
864	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-11-29 06:14:30 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
865	2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids). October[removed], 2013. Atlanta, GA Grounded Spatial Symbols for Task Planning Based on Experience Kai Welke1 , Peter Kaiser1 , Alexey Kozlov1 , Add to Reading List Source URL: www.naderman.de Language: English - Date: 2013-10-25 03:03:46 Mereology Predicate logic Knowledge representation and reasoning Humanoid robot Language Preposition and postposition Linguistics Visual search Cognitive robotics Reasoning Science Logic
866	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
867	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
868	Brentano’s Mereology Uriah Kriegel Forthcoming in U. Kriegel (ed.), Routledge Handbook of Brentano and the Brentano School Add to Reading List Source URL: philpapers.org Language: English Ontology Mereology Predicate logic Edmund Husserl Existence Separable space Philosophy Topology Metaphysics
869	Inductive Arguments : Basics. © Avi Sion Inductive Argument : Basics. Actual generalization and particularization Add to Reading List Source URL: www.thelogician.net Language: English - Date: 2010-07-27 03:45:43 Inductive reasoning Mathematical logic Problem solving Deduction Deductive reasoning Mathematical induction Entailment Categorical proposition Predicate Logic Science Reasoning
870	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics

UPDATE